Saharon: Compare with Journal Proofs!
نویسنده
چکیده
We investigate strong dichotomical behaviour of the number of equivalence classes and related cardinal. Saharon: compare with Journal proofs! 2000 Mathematics Subject Classification. 20K99
منابع مشابه
Duality and the pcf theory
We consider natural cardinal invariants hm n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I) ≥ hm n , then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory.
متن کاملOn externally definable sets and a theorem of Shelah
In [4] Saharon Shelah proves the striking and important result that if T is a complete theory without the independence property,M is a model of T , and M∗ is the expansion of M by adjoining predicates for “externally definable” subsets of M,M ×M, ..., then Th(M∗) has quantifier elimination. Shelah’s proof is not so long, but arguably rather obscure. The aim of this expository paper is to give a...
متن کاملThe Hanf numbers of stationary logic II: Comparison with other logics
We show the ordering of the Hanf number of Lω,ω(wo), (well ordering) Lω,ω (quantification on countable sets), Lω,ω(aa) (stationary logic) and second order logic, has no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC only). We also get results on corresponding logics for Lλ,μ. The author would like to thank the BSF and NSREC for partially supporti...
متن کاملFurther Cardinal Arithmetic
We continue the investigations in the author’s book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S≤א0 (κ),⊆) for κ real valued measurable (Section 3), densities of box products (Section 5,3), prove the equality cov(λ, λ, θ+, 2) = pp(λ) in more cases even when cf(λ) = א0 (Section 1), deal with bounds of pp(λ) for λ limit of inaccessible (Section 4) and g...
متن کاملCharacterizing automorphism groups of ordered abelian groups
In this short note we want to characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of abelian groups, see [2]. Recall that H is a right ordered group (RO-group) if (H, ·) is a group and (H,<) is a linear order satisfying...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011